< -package:ghc-lib-parser package:first-class-families

"Smaller than". Type-level version of (<).

>>> :kind! Eval ("a" < "b")
Eval ("a" < "b") :: Bool
= 'True

data (<$>)

data (<*>)

data (<=)

data (<=<)

type family (<>) (x :: a) (y :: a) :: a

Type-level semigroup composition (<>).

data (<=)

"Smaller than or equal to". Type-level version of (<=).

>>> :kind! Eval ("b" <= "a")
Eval ("b" <= "a") :: Bool
= 'False

data (=<<)

data (.<>)

Type-level semigroup composition (<>). This is the fcf-encoding of (<>). To define a new semigroup, add type instances to (<>).